perm filename FILE1.TYP[TEX,DEK] blob
sn#716781 filedate 1983-06-24 generic text, type T, neo UTF8
This is DVItype, Version 1.1
Options selected:
Starting page = *
Maximum number of pages = 1000000
Output level = 1 (terse)
Resolution = 7227.00000000 pixels per inch
numerator/denominator=25400000/473628672
magnification=1000; 0.00152588 pixels per DVI unit
' TeX output 1983.06.24:0017'
42: beginning of page 1009
87: push
level 0:(h=0,v=0,w=0,x=0,y=0,z=0,hh=0,vv=0)
88: down3 -917504 v:=0-917504=-917504, vv:=-1399
92: pop
level 0:(h=0,v=0,w=0,x=0,y=0,z=0,hh=0,vv=0)
93: down4 33030144 v:=0+33030144=33030144, vv:=50400
98: push
level 0:(h=0,v=33030144,w=0,x=0,y=0,z=0,hh=0,vv=50400)
99: down4 -27838747 v:=33030144-27838747=5191397, vv:=7921
104: push
level 1:(h=0,v=5191397,w=0,x=0,y=0,z=0,hh=0,vv=7921)
[ ]
109: fntdef1 28: cmb10---loaded at size 655360 DVI units
130: fntnum28 current font is cmb10
[A Bold, Centered Title]
159: pop
level 1:(h=0,v=5191397,w=0,x=0,y=0,z=0,hh=0,vv=7921)
160: y3 983040 v:=5191397+983040=6174437, vv:=9421
164: push
level 1:(h=0,v=6174437,w=0,x=0,y=983040,z=0,hh=0,vv=9421)
[ ]
170: fntdef1 43: cmti10---loaded at size 655360 DVI units
192: fntnum43 current font is cmti10
[avec un sous-titre ]
219: setchar13 h:=18937729+334961=19272690, hh:=29408
[ a la fran]
238: setchar24 h:=21299204+502442=21801646, hh:=33269
[ caise]
248: pop
level 1:(h=0,v=6174437,w=0,x=0,y=983040,z=0,hh=0,vv=9421)
249: down3 1572864 v:=6174437+1572864=7747301, vv:=11821
253: push
level 1:(h=0,v=7747301,w=0,x=0,y=983040,z=0,hh=0,vv=11821)
254: fntnum28 current font is cmb10
[1. Plain T]
271: push
level 2:(h=3433354,v=7747301,w=0,x=0,y=983040,z=0,hh=5239,vv=11821)
[ ]
276: down3 139264 v:=7747301+139264=7886565, vv:=12034
[E]
281: pop
level 2:(h=3433354,v=7747301,w=0,x=0,y=983040,z=0,hh=5239,vv=11821)
[ Xnology]
293: pop
level 1:(h=0,v=7747301,w=0,x=0,y=983040,z=0,hh=0,vv=11821)
294: y0 983040 v:=7747301+983040=8730341, vv:=13321
295: push
level 1:(h=0,v=8730341,w=0,x=0,y=983040,z=0,hh=0,vv=13321)
296: fntdef1 6: amr10---loaded at size 655360 DVI units
317: fntnum6 current font is amr10
[The |rst paragraph of a new section is not indented. T]
381: push
level 2:(h=15860551,v=8730341,w=214498,x=0,y=983040,z=0,hh=24201,vv=13321)
[ ]
386: down3 141084 v:=8730341+141084=8871425, vv:=13536
[E]
391: pop
level 2:(h=15860551,v=8730341,w=214498,x=0,y=983040,z=0,hh=24201,vv=13321)
[ X recognizes the end of]
419: pop
level 1:(h=0,v=8730341,w=0,x=0,y=983040,z=0,hh=0,vv=13321)
420: y3 786432 v:=8730341+786432=9516773, vv:=14521
424: push
level 1:(h=0,v=9516773,w=0,x=0,y=786432,z=0,hh=0,vv=14521)
[a paragraph when it comes to a blank line in your manuscript |le.]
497: pop
level 1:(h=0,v=9516773,w=0,x=0,y=786432,z=0,hh=0,vv=14521)
498: y0 786432 v:=9516773+786432=10303205, vv:=15721
499: push
level 1:(h=0,v=10303205,w=0,x=0,y=786432,z=0,hh=0,vv=15721)
[ Subsequent paragraphs ]
532: fntnum43 current font is cmti10
[are ]
543: fntnum6 current font is amr10
[indented.* (See?) The computer breaks a para-]
596: pop
level 1:(h=0,v=10303205,w=0,x=0,y=786432,z=0,hh=0,vv=15721)
597: y0 786432 v:=10303205+786432=11089637, vv:=16921
598: push
level 1:(h=0,v=11089637,w=0,x=0,y=786432,z=0,hh=0,vv=16921)
[graph's text into lines in a interesting way_see reference [1]_and hyphenates]
686: pop
level 1:(h=0,v=11089637,w=0,x=0,y=786432,z=0,hh=0,vv=16921)
687: y0 786432 v:=11089637+786432=11876069, vv:=18121
688: push
level 1:(h=0,v=11876069,w=0,x=0,y=786432,z=0,hh=0,vv=18121)
[words automatically when necessary.]
734: pop
level 1:(h=0,v=11876069,w=0,x=0,y=786432,z=0,hh=0,vv=18121)
735: down3 2220942 v:=11876069+2220942=14097011, vv:=21510
739: push
level 1:(h=0,v=14097011,w=0,x=0,y=786432,z=0,hh=0,vv=21510)
740: down3 -786432 v:=14097011-786432=13310579, vv:=20310
744: push
level 2:(h=0,v=13310579,w=0,x=0,y=786432,z=0,hh=0,vv=20310)
745: push
level 3:(h=0,v=13310579,w=0,x=0,y=786432,z=0,hh=0,vv=20310)
[ \]
751: pop
level 3:(h=0,v=13310579,w=0,x=0,y=786432,z=0,hh=0,vv=20310)
[ If there hadn't been room for this material on the present]
824: pop
level 2:(h=0,v=13310579,w=0,x=0,y=786432,z=0,hh=0,vv=20310)
825: y0 786432 v:=13310579+786432=14097011, vv:=21510
826: push
level 2:(h=0,v=14097011,w=0,x=0,y=786432,z=0,hh=0,vv=21510)
[ page, it would have been inserted on the next one."]
893: pop
level 2:(h=0,v=14097011,w=0,x=0,y=786432,z=0,hh=0,vv=21510)
894: pop
level 1:(h=0,v=14097011,w=0,x=0,y=786432,z=0,hh=0,vv=21510)
895: down3 1572864 v:=14097011+1572864=15669875, vv:=23910
899: push
level 1:(h=0,v=15669875,w=0,x=0,y=786432,z=0,hh=0,vv=23910)
900: fntnum28 current font is cmb10
[Theorem T. ]
918: fntdef1 40: cms10---loaded at size 655360 DVI units
939: fntnum40 current font is cms10
[The typesetting of ]
965: fntdef1 7: cmi10---loaded at size 655360 DVI units
986: fntnum7 current font is cmi10
[math ]
992: fntnum40 current font is cms10
[is discussed in Chapters 16↑19, and math]
1036: pop
level 1:(h=0,v=15669875,w=0,x=0,y=786432,z=0,hh=0,vv=23910)
1037: y0 786432 v:=15669875+786432=16456307, vv:=25110
1038: push
level 1:(h=0,v=16456307,w=0,x=0,y=786432,z=0,hh=0,vv=25110)
[symbols are summarized in Appendix F.]
1082: pop
level 1:(h=0,v=16456307,w=0,x=0,y=786432,z=0,hh=0,vv=25110)
1083: down3 1966080 v:=16456307+1966080=18422387, vv:=28110
1087: push
level 1:(h=0,v=18422387,w=0,x=0,y=786432,z=0,hh=0,vv=28110)
1088: fntnum28 current font is cmb10
[2. Bibliography]
1110: pop
level 1:(h=0,v=18422387,w=0,x=0,y=786432,z=0,hh=0,vv=28110)
1111: down3 983040 v:=18422387+983040=19405427, vv:=29610
1115: push
level 1:(h=0,v=19405427,w=0,x=0,y=786432,z=0,hh=0,vv=29610)
1116: push
level 2:(h=0,v=19405427,w=0,x=0,y=786432,z=0,hh=0,vv=29610)
[ ]
1121: fntnum6 current font is amr10
[[1]]
1125: pop
level 2:(h=0,v=19405427,w=0,x=0,y=786432,z=0,hh=0,vv=29610)
[ D. E. Knuth and M. F. Plass, \Breaking paragraphs into lines," ]
1200: fntnum40 current font is cms10
[So$w.]
1207: pop
level 1:(h=0,v=19405427,w=0,x=0,y=786432,z=0,hh=0,vv=29610)
1208: y0 786432 v:=19405427+786432=20191859, vv:=30810
1209: push
level 1:(h=0,v=20191859,w=0,x=0,y=786432,z=0,hh=0,vv=30810)
[ pract. exp. ]
1229: fntnum28 current font is cmb10
[11 ]
1233: fntnum6 current font is amr10
[(1981), 1119↑1184.]
1252: pop
level 1:(h=0,v=20191859,w=0,x=0,y=786432,z=0,hh=0,vv=30810)
1253: down4 11226099 v:=20191859+11226099=31417958, vv:=47940
1258: putrule height 26215, width 9472573 (41x14454 pixels)
1267: down3 727450 v:=31417958+727450=32145408, vv:=49050
1271: push
level 1:(h=0,v=32145408,w=0,x=0,y=786432,z=0,hh=0,vv=49050)
1272: push
level 2:(h=0,v=32145408,w=0,x=0,y=786432,z=0,hh=0,vv=49050)
[ *]
1278: pop
level 2:(h=0,v=32145408,w=0,x=0,y=786432,z=0,hh=0,vv=49050)
[ The amount of indentation can be changed by changing a parameter called]
1367: pop
level 1:(h=0,v=32145408,w=0,x=0,y=786432,z=0,hh=0,vv=49050)
1368: y0 786432 v:=32145408+786432=32931840, vv:=50250
1369: push
level 1:(h=0,v=32931840,w=0,x=0,y=786432,z=0,hh=0,vv=50250)
1370: fntdef1 35: cmtt---loaded at size 655360 DVI units
1390: fntnum35 current font is cmtt
[\parindent]
1401: fntnum6 current font is amr10
[. Turn the page for a summary of T]
1446: push
level 2:(h=13479773,v=32931840,w=170275,x=0,y=786432,z=0,hh=20568,vv=50250)
[ ]
1451: down3 141084 v:=32931840+141084=33072924, vv:=50465
[E]
1456: pop
level 2:(h=13479773,v=32931840,w=170275,x=0,y=786432,z=0,hh=20568,vv=50250)
[ X's most important parameters.]
1497: pop
level 1:(h=0,v=32931840,w=0,x=0,y=786432,z=0,hh=0,vv=50250)
1498: pop
level 0:(h=0,v=33030144,w=0,x=0,y=0,z=0,hh=0,vv=50400)
1499: down3 1572864 v:=33030144+1572864=34603008, vv:=52800
1503: push
level 0:(h=0,v=34603008,w=0,x=0,y=0,z=0,hh=0,vv=52800)
[Footline ]
1523: push
level 1:(h=3203948,v=34603008,w=0,x=0,y=0,z=0,hh=4889,vv=52800)
1528: fntdef1 0: cmr10---loaded at size 655360 DVI units
1549: fntnum0 current font is cmr10
[.]
1551: pop
level 1:(h=3203948,v=34603008,w=0,x=0,y=0,z=0,hh=4889,vv=52800)
[ ]
1556: push
level 1:(h=3495216,v=34603008,w=291268,x=0,y=0,z=0,hh=5333,vv=52800)
[.]
1562: pop
level 1:(h=3495216,v=34603008,w=291268,x=0,y=0,z=0,hh=5333,vv=52800)
[ ]
1564: push
level 1:(h=3786484,v=34603008,w=291268,x=0,y=0,z=0,hh=5778,vv=52800)
[.]
1570: pop
level 1:(h=3786484,v=34603008,w=291268,x=0,y=0,z=0,hh=5778,vv=52800)
[ ]
1572: push
level 1:(h=4077752,v=34603008,w=291268,x=0,y=0,z=0,hh=6222,vv=52800)
[.]
1578: pop
level 1:(h=4077752,v=34603008,w=291268,x=0,y=0,z=0,hh=6222,vv=52800)
[ ]
1580: push
level 1:(h=4369020,v=34603008,w=291268,x=0,y=0,z=0,hh=6667,vv=52800)
[.]
1586: pop
level 1:(h=4369020,v=34603008,w=291268,x=0,y=0,z=0,hh=6667,vv=52800)
[ ]
1588: push
level 1:(h=4660288,v=34603008,w=291268,x=0,y=0,z=0,hh=7111,vv=52800)
[.]
1594: pop
level 1:(h=4660288,v=34603008,w=291268,x=0,y=0,z=0,hh=7111,vv=52800)
[ ]
1596: push
level 1:(h=4951556,v=34603008,w=291268,x=0,y=0,z=0,hh=7555,vv=52800)
[.]
1602: pop
level 1:(h=4951556,v=34603008,w=291268,x=0,y=0,z=0,hh=7555,vv=52800)
[ ]
1604: push
level 1:(h=5242824,v=34603008,w=291268,x=0,y=0,z=0,hh=8000,vv=52800)
[.]
1610: pop
level 1:(h=5242824,v=34603008,w=291268,x=0,y=0,z=0,hh=8000,vv=52800)
[ ]
1612: push
level 1:(h=5534092,v=34603008,w=291268,x=0,y=0,z=0,hh=8444,vv=52800)
[.]
1618: pop
level 1:(h=5534092,v=34603008,w=291268,x=0,y=0,z=0,hh=8444,vv=52800)
[ ]
1620: push
level 1:(h=5825360,v=34603008,w=291268,x=0,y=0,z=0,hh=8889,vv=52800)
[.]
1626: pop
level 1:(h=5825360,v=34603008,w=291268,x=0,y=0,z=0,hh=8889,vv=52800)
[ ]
1628: push
level 1:(h=6116628,v=34603008,w=291268,x=0,y=0,z=0,hh=9333,vv=52800)
[.]
1634: pop
level 1:(h=6116628,v=34603008,w=291268,x=0,y=0,z=0,hh=9333,vv=52800)
[ ]
1636: push
level 1:(h=6407896,v=34603008,w=291268,x=0,y=0,z=0,hh=9778,vv=52800)
[.]
1642: pop
level 1:(h=6407896,v=34603008,w=291268,x=0,y=0,z=0,hh=9778,vv=52800)
[ ]
1644: push
level 1:(h=6699164,v=34603008,w=291268,x=0,y=0,z=0,hh=10222,vv=52800)
[.]
1650: pop
level 1:(h=6699164,v=34603008,w=291268,x=0,y=0,z=0,hh=10222,vv=52800)
[ ]
1652: push
level 1:(h=6990432,v=34603008,w=291268,x=0,y=0,z=0,hh=10667,vv=52800)
[.]
1658: pop
level 1:(h=6990432,v=34603008,w=291268,x=0,y=0,z=0,hh=10667,vv=52800)
[ ]
1660: push
level 1:(h=7281700,v=34603008,w=291268,x=0,y=0,z=0,hh=11111,vv=52800)
[.]
1666: pop
level 1:(h=7281700,v=34603008,w=291268,x=0,y=0,z=0,hh=11111,vv=52800)
[ ]
1668: push
level 1:(h=7572968,v=34603008,w=291268,x=0,y=0,z=0,hh=11555,vv=52800)
[.]
1674: pop
level 1:(h=7572968,v=34603008,w=291268,x=0,y=0,z=0,hh=11555,vv=52800)
[ ]
1676: push
level 1:(h=7864236,v=34603008,w=291268,x=0,y=0,z=0,hh=12000,vv=52800)
[.]
1682: pop
level 1:(h=7864236,v=34603008,w=291268,x=0,y=0,z=0,hh=12000,vv=52800)
[ ]
1684: push
level 1:(h=8155504,v=34603008,w=291268,x=0,y=0,z=0,hh=12444,vv=52800)
[.]
1690: pop
level 1:(h=8155504,v=34603008,w=291268,x=0,y=0,z=0,hh=12444,vv=52800)
[ ]
1692: push
level 1:(h=8446772,v=34603008,w=291268,x=0,y=0,z=0,hh=12889,vv=52800)
[.]
1698: pop
level 1:(h=8446772,v=34603008,w=291268,x=0,y=0,z=0,hh=12889,vv=52800)
[ ]
1700: push
level 1:(h=8738040,v=34603008,w=291268,x=0,y=0,z=0,hh=13333,vv=52800)
[.]
1706: pop
level 1:(h=8738040,v=34603008,w=291268,x=0,y=0,z=0,hh=13333,vv=52800)
[ ]
1708: push
level 1:(h=9029308,v=34603008,w=291268,x=0,y=0,z=0,hh=13778,vv=52800)
[.]
1714: pop
level 1:(h=9029308,v=34603008,w=291268,x=0,y=0,z=0,hh=13778,vv=52800)
[ ]
1716: push
level 1:(h=9320576,v=34603008,w=291268,x=0,y=0,z=0,hh=14222,vv=52800)
[.]
1722: pop
level 1:(h=9320576,v=34603008,w=291268,x=0,y=0,z=0,hh=14222,vv=52800)
[ ]
1724: push
level 1:(h=9611844,v=34603008,w=291268,x=0,y=0,z=0,hh=14667,vv=52800)
[.]
1730: pop
level 1:(h=9611844,v=34603008,w=291268,x=0,y=0,z=0,hh=14667,vv=52800)
[ ]
1732: push
level 1:(h=9903112,v=34603008,w=291268,x=0,y=0,z=0,hh=15111,vv=52800)
[.]
1738: pop
level 1:(h=9903112,v=34603008,w=291268,x=0,y=0,z=0,hh=15111,vv=52800)
[ ]
1740: push
level 1:(h=10194380,v=34603008,w=291268,x=0,y=0,z=0,hh=15555,vv=52800)
[.]
1746: pop
level 1:(h=10194380,v=34603008,w=291268,x=0,y=0,z=0,hh=15555,vv=52800)
[ ]
1748: push
level 1:(h=10485648,v=34603008,w=291268,x=0,y=0,z=0,hh=16000,vv=52800)
[.]
1754: pop
level 1:(h=10485648,v=34603008,w=291268,x=0,y=0,z=0,hh=16000,vv=52800)
[ ]
1756: push
level 1:(h=10776916,v=34603008,w=291268,x=0,y=0,z=0,hh=16444,vv=52800)
[.]
1762: pop
level 1:(h=10776916,v=34603008,w=291268,x=0,y=0,z=0,hh=16444,vv=52800)
[ ]
1764: push
level 1:(h=11068184,v=34603008,w=291268,x=0,y=0,z=0,hh=16889,vv=52800)
[.]
1770: pop
level 1:(h=11068184,v=34603008,w=291268,x=0,y=0,z=0,hh=16889,vv=52800)
[ ]
1772: push
level 1:(h=11359452,v=34603008,w=291268,x=0,y=0,z=0,hh=17333,vv=52800)
[.]
1778: pop
level 1:(h=11359452,v=34603008,w=291268,x=0,y=0,z=0,hh=17333,vv=52800)
[ ]
1780: push
level 1:(h=11650720,v=34603008,w=291268,x=0,y=0,z=0,hh=17778,vv=52800)
[.]
1786: pop
level 1:(h=11650720,v=34603008,w=291268,x=0,y=0,z=0,hh=17778,vv=52800)
[ ]
1788: push
level 1:(h=11941988,v=34603008,w=291268,x=0,y=0,z=0,hh=18222,vv=52800)
[.]
1794: pop
level 1:(h=11941988,v=34603008,w=291268,x=0,y=0,z=0,hh=18222,vv=52800)
[ ]
1796: push
level 1:(h=12233256,v=34603008,w=291268,x=0,y=0,z=0,hh=18666,vv=52800)
[.]
1802: pop
level 1:(h=12233256,v=34603008,w=291268,x=0,y=0,z=0,hh=18666,vv=52800)
[ ]
1804: push
level 1:(h=12524524,v=34603008,w=291268,x=0,y=0,z=0,hh=19111,vv=52800)
[.]
1810: pop
level 1:(h=12524524,v=34603008,w=291268,x=0,y=0,z=0,hh=19111,vv=52800)
[ ]
1812: push
level 1:(h=12815792,v=34603008,w=291268,x=0,y=0,z=0,hh=19555,vv=52800)
[.]
1818: pop
level 1:(h=12815792,v=34603008,w=291268,x=0,y=0,z=0,hh=19555,vv=52800)
[ ]
1820: push
level 1:(h=13107060,v=34603008,w=291268,x=0,y=0,z=0,hh=20000,vv=52800)
[.]
1826: pop
level 1:(h=13107060,v=34603008,w=291268,x=0,y=0,z=0,hh=20000,vv=52800)
[ ]
1828: push
level 1:(h=13398328,v=34603008,w=291268,x=0,y=0,z=0,hh=20444,vv=52800)
[.]
1834: pop
level 1:(h=13398328,v=34603008,w=291268,x=0,y=0,z=0,hh=20444,vv=52800)
[ ]
1836: push
level 1:(h=13689596,v=34603008,w=291268,x=0,y=0,z=0,hh=20889,vv=52800)
[.]
1842: pop
level 1:(h=13689596,v=34603008,w=291268,x=0,y=0,z=0,hh=20889,vv=52800)
[ ]
1844: push
level 1:(h=13980864,v=34603008,w=291268,x=0,y=0,z=0,hh=21333,vv=52800)
[.]
1850: pop
level 1:(h=13980864,v=34603008,w=291268,x=0,y=0,z=0,hh=21333,vv=52800)
[ ]
1852: push
level 1:(h=14272132,v=34603008,w=291268,x=0,y=0,z=0,hh=21778,vv=52800)
[.]
1858: pop
level 1:(h=14272132,v=34603008,w=291268,x=0,y=0,z=0,hh=21778,vv=52800)
[ ]
1860: push
level 1:(h=14563400,v=34603008,w=291268,x=0,y=0,z=0,hh=22222,vv=52800)
[.]
1866: pop
level 1:(h=14563400,v=34603008,w=291268,x=0,y=0,z=0,hh=22222,vv=52800)
[ ]
1868: push
level 1:(h=14854668,v=34603008,w=291268,x=0,y=0,z=0,hh=22666,vv=52800)
[.]
1874: pop
level 1:(h=14854668,v=34603008,w=291268,x=0,y=0,z=0,hh=22666,vv=52800)
[ ]
1876: push
level 1:(h=15145936,v=34603008,w=291268,x=0,y=0,z=0,hh=23111,vv=52800)
[.]
1882: pop
level 1:(h=15145936,v=34603008,w=291268,x=0,y=0,z=0,hh=23111,vv=52800)
[ ]
1884: push
level 1:(h=15437204,v=34603008,w=291268,x=0,y=0,z=0,hh=23555,vv=52800)
[.]
1890: pop
level 1:(h=15437204,v=34603008,w=291268,x=0,y=0,z=0,hh=23555,vv=52800)
[ ]
1892: push
level 1:(h=15728472,v=34603008,w=291268,x=0,y=0,z=0,hh=24000,vv=52800)
[.]
1898: pop
level 1:(h=15728472,v=34603008,w=291268,x=0,y=0,z=0,hh=24000,vv=52800)
[ ]
1900: push
level 1:(h=16019740,v=34603008,w=291268,x=0,y=0,z=0,hh=24444,vv=52800)
[.]
1906: pop
level 1:(h=16019740,v=34603008,w=291268,x=0,y=0,z=0,hh=24444,vv=52800)
[ ]
1908: push
level 1:(h=16311008,v=34603008,w=291268,x=0,y=0,z=0,hh=24889,vv=52800)
[.]
1914: pop
level 1:(h=16311008,v=34603008,w=291268,x=0,y=0,z=0,hh=24889,vv=52800)
[ ]
1916: push
level 1:(h=16602276,v=34603008,w=291268,x=0,y=0,z=0,hh=25333,vv=52800)
[.]
1922: pop
level 1:(h=16602276,v=34603008,w=291268,x=0,y=0,z=0,hh=25333,vv=52800)
[ ]
1924: push
level 1:(h=16893544,v=34603008,w=291268,x=0,y=0,z=0,hh=25778,vv=52800)
[.]
1930: pop
level 1:(h=16893544,v=34603008,w=291268,x=0,y=0,z=0,hh=25778,vv=52800)
[ ]
1932: push
level 1:(h=17184812,v=34603008,w=291268,x=0,y=0,z=0,hh=26222,vv=52800)
[.]
1938: pop
level 1:(h=17184812,v=34603008,w=291268,x=0,y=0,z=0,hh=26222,vv=52800)
[ ]
1940: push
level 1:(h=17476080,v=34603008,w=291268,x=0,y=0,z=0,hh=26666,vv=52800)
[.]
1946: pop
level 1:(h=17476080,v=34603008,w=291268,x=0,y=0,z=0,hh=26666,vv=52800)
[ ]
1948: push
level 1:(h=17767348,v=34603008,w=291268,x=0,y=0,z=0,hh=27111,vv=52800)
[.]
1954: pop
level 1:(h=17767348,v=34603008,w=291268,x=0,y=0,z=0,hh=27111,vv=52800)
[ ]
1956: push
level 1:(h=18058616,v=34603008,w=291268,x=0,y=0,z=0,hh=27555,vv=52800)
[.]
1962: pop
level 1:(h=18058616,v=34603008,w=291268,x=0,y=0,z=0,hh=27555,vv=52800)
[ ]
1964: push
level 1:(h=18349884,v=34603008,w=291268,x=0,y=0,z=0,hh=28000,vv=52800)
[.]
1970: pop
level 1:(h=18349884,v=34603008,w=291268,x=0,y=0,z=0,hh=28000,vv=52800)
[ ]
1972: push
level 1:(h=18641152,v=34603008,w=291268,x=0,y=0,z=0,hh=28444,vv=52800)
[.]
1978: pop
level 1:(h=18641152,v=34603008,w=291268,x=0,y=0,z=0,hh=28444,vv=52800)
[ ]
1980: push
level 1:(h=18932420,v=34603008,w=291268,x=0,y=0,z=0,hh=28889,vv=52800)
[.]
1986: pop
level 1:(h=18932420,v=34603008,w=291268,x=0,y=0,z=0,hh=28889,vv=52800)
[ ]
1991: fntnum6 current font is amr10
[Page 1009]
2007: pop
level 0:(h=0,v=34603008,w=0,x=0,y=0,z=0,hh=0,vv=52800)
2008: eop
Postamble starts at byte 2009.
maxv=34730439, maxh=22806528, maxstackdepth=4, totalpages=1
warning: observed maxh was 22806534
Font 43: cmti10
Font 40: cms10
Font 35: cmtt
Font 28: cmb10
Font 7: cmi10
Font 6: amr10
Font 0: cmr10